<?php
	session_start();
	if(!isset($_SESSION['SID'])) {
		$_SESSION = array();
		session_destroy();
		header("location: login.php");
	}
?>